second-order lambda-calculus
二阶 Lamda 微积分
热门查询
- vagus n. [解剖] 迷走神经
- travelling v. 旅行（travel的现在分词形式） adj. 旅行的；移动的；旅行用的
- shrimp n. 虾；小虾；矮小的人 adj. 有虾的；虾制的 vi. 捕虾
- prehistory n. 史前；史前史；（导致事件、危机等的）背景
- handcraft n. 手工艺，手艺 vt. 以手工做
- NHS abbr. 英国国民健康保险制度（National Health Service）
- addressee n. 收件人，收信人；[计] 被访地址
- lift-off n. （火箭等）离地升空，垂直发射
- encryption n. 加密；加密术
- fest n. 集会；节日 n. (Fest)人名；(德、英、法、匈)费斯特
- inconstant adj. 变化无常的；易变的；多变的
- Hines 海恩斯（人名）
- clammy adj. 湿粘的；湿冷的（形容词比较级clammier，形容词最高级clammiest，名词clamminess，副词clammily）
- digitise vt. 数码化
- cance [人名] 坎斯
- venom n. 毒液；恶意 vt. 使有毒；放毒
- unremitting adj. 不懈的；不间断的；坚忍的
- facetious adj. 诙谐的；爱开玩笑的；滑稽的；(尤指在不合适的时候)开玩笑的
- polished v. 擦亮（polish的过去式和过去分词） adj. 擦亮的；优美的；圆滑的
- lattice n. [晶体] 晶格；格子；格架 vt. 使成格子状
考试词汇表
- catherineofaragon
- catheter ablation
- catheter bioptome
- catheter exchange
- catheter for dogs
- catheter knotting
- catheter protocol
- catheter retainer
- catheter specimen
- catheter stopcock
- cathine,cathinine
- cathodal cathodic
- cathodal duration
- cathode breakdown
- cathode conductor
- cathode corrosion
- cathode darkspace
- cathode eficiency
- cathode electrode
- cathode glow lamp
